$\forall$$n$, $k$:$\mathbb{N}$, $f$:($\mathbb{N}$$_{\mbox{\scriptsize $<$$n$}}$$\rightarrow\mathbb{N}$$_{\mbox{\scriptsize $<$$k$}}$), $x$:$\mathbb{N}$$_{\mbox{\scriptsize $<$$k$}}$. fshift($f$;$x$) $\in$ $\mathbb{N}$$_{\mbox{\scriptsize $<$$n$+1}}$$\rightarrow\mathbb{N}$$_{\mbox{\scriptsize $<$$k$}}$